VDict mobile



proof system not found. Suggestions:

intuitionistic logic
proof
Nuprl
constructive
drool-proof paper
four colour map theorem
General Recursion Theorem
Nightmare File System
PRL
exercise, left as an